Constructive Arithmetics in Ore Localizations of Domains
نویسندگان
چکیده
For a non-commutative domain R and a multiplicatively closed set S the (left) Ore localization of R at S exists if and only if S satisfies the (left) Ore property. Since the concept has been introduced by Ore back in the 1930’s, Ore localizations have been widely used in theory and in applications. We investigate the arithmetics of the localized ring SR from both theoretical and practical points of view. We show that the key component of the arithmetics is the computation of the intersection of a left ideal with a submonoid S of R. It is not known yet, whether there exists an algorithmic solution of this problem in general. Still, we provide such solutions for cases where S is equipped with additional structure by distilling three most frequently occurring types of Ore sets. We introduce the notion of the (left) saturation closure and prove that it is a canonical form for (left) Ore sets in R. We provide an implementation of arithmetics over the ubiquitous G-algebras in Singular:Plural and discuss questions arising in this context. Numerous examples illustrate the effectiveness of the proposed approach.
منابع مشابه
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gr{ö}bner bases
This paper is a sequel to “Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases” (Levandovskyy and Schindelar, 2011). We present a new fraction-free algorithm for the computation of a diagonal form of a matrix over a certain non-commutative Euclidean domain over a computable field with the help of Gröbner bases. This algorithm is formulated in a general constructive ...
متن کاملApplication of truncated gaussian simulation to ore-waste boundary modeling of Golgohar iron deposit
Truncated Gaussian Simulation (TGS) is a well-known method to generate realizations of the ore domains located in a spatial sequence. In geostatistical framework geological domains are normally utilized for stationary assumption. The ability to measure the uncertainty in the exact locations of the boundaries among different geological units is a common challenge for practitioners. As a simple a...
متن کاملQuantum Observables Algebras and Abstract Differential Geometry: The Topos-Theoretic Dynamics of Diagrams of Commutative Algebraic Localizations
We construct a sheaf-theoretic representation of quantum observables algebras over a base category equipped with a Grothendieck topology, consisting of epimorphic families of commutative observables algebras, playing the role of local arithmetics in measurement situations. This construction makes possible the adaptation of the methodology of Abstract Differential Geometry (ADG), à la Mallios, i...
متن کاملCohomological Quotients and Smashing Localizations
The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier’s construction. Slightly simplifying this concept, the cohomological quotients are flat epimorphisms, whereas the Verdier quotients are Ore localizations. For any co...
متن کاملIntegral Domains Whose Simple Overrings Are Intersections of Localizations
Call a domain R an sQQR-domain if each simple overring of R, i.e., each ring of the form R[u] with u in the quotient field of R, is an intersection of localizations of R. We characterize Prüfer domains as integrally closed sQQR-domains. In the presence of certain finiteness conditions, we show that the sQQR-property is very strong; for instance, a Mori sQQR-domain must be a Dedekind domain. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1712.01773 شماره
صفحات -
تاریخ انتشار 2017